\section{}
\subsection{}
\begin{displaymath}
\begin{array}{|c|c||c|c|c|c|}
	\hline
   A
 & B
 & \lnot{}A
 & (\lnot{}A)\lor{}B
 & A\Rightarrow{}B
 & (A\Rightarrow{}B)\Leftrightarrow{}(\lnot{}A)\lor{}B \\
 \hline \hline
0 & 0 & 1 & 1 & 1 & 1 \\
0 & 1 & 1 & 1 & 1 & 1 \\
1 & 0 & 0 & 0 & 0 & 1 \\
1 & 1 & 0 & 1 & 1 & 1 \\
\hline
\end{array}
\end{displaymath}
\begin{center}
$(A\Rightarrow{}B)\Leftrightarrow{}(\lnot{}A)\lor{}B$ ist immer WAHR und daher eine Tautologie.
\end{center}
\subsection{}
\begin{displaymath}
\begin{array}{|c|c|c||c|c|c|c|c|}
   \hline
   A
 & B
 & C
 & A\Rightarrow{}B
 & B\Rightarrow{}C
 & ((A\Rightarrow{}B)\land{}(B\Rightarrow{}C))
 & (A\Rightarrow{}C)
 & ((A\Rightarrow{}B)\land{}(B\Rightarrow{}C))\Rightarrow{}(A\Rightarrow{}C) \\
\hline \hline
0 & 0 & 0 & 1 & 1 & 1 & 1 & 1 \\
0 & 0 & 1 & 1 & 1 & 1 & 1 & 1 \\
0 & 1 & 0 & 1 & 0 & 0 & 1 & 1 \\
0 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \\
\hline
1 & 0 & 0 & 0 & 1 & 0 & 0 & 1 \\
1 & 0 & 1 & 0 & 1 & 0 & 1 & 1 \\
1 & 1 & 0 & 1 & 0 & 0 & 0 & 1 \\
1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \\
\hline
\end{array}
\end{displaymath}
\begin{center}
$((A\Rightarrow{}B)\land{}(B\Rightarrow{}C))\Rightarrow{}(A\Rightarrow{}C)$ ist immer WAHR und daher eine Tautologie.
\end{center}
